Definitions | World, t T, x:A B(x), FairFifo, E, <a,b>, w-pred(w;e), x.A(x), pred(e), loc(e), Id, s = t, first(e), b, A, P  Q, x:A. B(x), , False,  b, , Prop, #$n, A B, n-m, -n, n+m, a<b, Void, {x:A| B(x) }, , a(i;t), isnull(a), x:A B(x), P & Q, P  Q, Unit, left+right, True, false , i= j, time(e), i j, Type, isl(x), P  Q, loc(e) |